the additive inverse property